Gcd, Euclidean Algorithm And Bezout Coefficients